2 complement turing machine